Большая советская энциклопедия - черч алонзо
Черч алонзо
черч алонзо
Черч (Church) Алонзо (р 14.6.1903, Вашингтон), американский логик, математик. Профессор Принстонского университета (1947—1967). С 1967 профессор математики и философии Калифорнийского университета (Лос-Анджелес). Работы Ч. относятся к различным областям логики. Он развил мысль об отделении понятия функции от понятия множества. В 1936 выдвинул основную гипотезу теории вычислимых функций (т. н. тезис Черча): каждая эффективно вычислимая функция является общекурсивной (см. Рекурсивные функции). В 1935 Ч. привел пример неразрешимой массовой проблемы, а в 1966 доказал, что разрешения проблема для исчисления предикатов неразрешима. Эти результаты оказали большое влияние на развитие математической логики. Ч. внес существенный вклад в развитие комбинаторной логики: ему принадлежат исследования в области логической семантики и модальной логики. Соч. в рус. пер.: Введение в математическую логику, т. 1, М., 1960.
Рейтинг статьи:
Комментарии:
Вопрос-ответ:
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 4921 | |
2 | 3036 | |
3 | 3006 | |
4 | 2835 | |
5 | 2829 | |
6 | 2796 | |
7 | 2731 | |
8 | 2718 | |
9 | 2603 | |
10 | 2529 | |
11 | 2350 | |
12 | 2221 | |
13 | 2184 | |
14 | 2179 | |
15 | 2153 | |
16 | 2067 | |
17 | 2059 | |
18 | 2046 | |
19 | 2031 | |
20 | 1988 |